The Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics

In the recent years, different but similar approaches integrated lexical semantics within compositional semantics. These approaches all make use of type theory at least to compose the meanings. We present here with some details one of these approaches, ours, which makes use of second order lambda calculus as a type theory for meaning assembly and of multi sorted higher order predicate logic for semantic representation.The advantages of such an approach are illustrated both in formal semantics (determiners, quantifiers, plurals) and in lexical pragmatics (coercions, possible and impossible copredication over different senses, deverbal ambiguities, fictive motion,..). Thereafter we explain the similar approaches by pointing out the differences.